Object-based language

Results: 194



#Item
161Logic in computer science / Programming language semantics / Computer science / Object-oriented programming / Component-based software engineering / Denotational semantics / Petri net / Operational semantics / Theoretical computer science / Software engineering / Models of computation

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 1 Source-to-Source Architectur

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:30
162Cybernetics / Systems theory / Data / Information / Component-based software engineering / System / Process calculus / Communications protocol / Modeling language / Software engineering / Object-oriented programming / Software architecture

Composition for Component-Based Modeling Gregor G¨ossler a , Joseph Sifakis b a INRIA Rhˆ one-Alpes, France

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:32
163Computing / Science / Object-oriented programming / Component-based software engineering / Modeling language / Binding immunoglobulin protein / Model checking / Actor model / Software design / Scientific modeling / Software engineering / Systems science

www.computer.org/software Rigorous Component-Based System Design Using the BIP Framework Anandu Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, and Joseph Sifakis

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:30
164Data / Process calculus / System / Component-based software engineering / Communications protocol / Modeling language / Parallel computing / Software engineering / Object-oriented programming / Computing

Composition for Component-Based Modeling? Gregor G¨ossler1 and Joseph Sifakis2 1 1

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:37
165Data types / Method / Type theory / Cross-platform software / Object-oriented programming / Multiple dispatch / Type system / Programming language / C / Software engineering / Computing / Computer programming

What is Needle? Needle is an object-oriented functional programming language with a multimethod-based OO system, and a static type system with parameterized types and substantial ML-style type inference.

Add to Reading List

Source URL: ll2.ai.mit.edu

Language: English - Date: 2002-11-18 22:35:24
166Systems engineering / Unified Modeling Language / Component-based software engineering / Object-oriented programming / Software architecture / Eiffel Software / Model-driven engineering / Bertrand Meyer / Model-driven architecture / Software engineering / Computing / Software development

Microsoft Word - ToolsEurope2011-CFP.doc

Add to Reading List

Source URL: toolseurope2011.lcc.uma.es

Language: English - Date: 2010-12-23 12:16:09
167Cross-platform software / Object-oriented programming / Component-based software engineering / Functional languages / Lisp programming language / Common Object Request Broker Architecture / Lisp / Programming language / Ada / Computing / Software engineering / Computer programming

Controversial Ideas about Programming Gene Michael Stover created Saturday, 2003 January 11 updated Wednesday, 2007 August 8 c 2003, 2007 by Gene Michael Stover. All rights reserved. Permission Copyright

Add to Reading List

Source URL: cybertiggyr.com

Language: English - Date: 2014-06-08 02:33:46
168Java enterprise platform / Java specification requests / Object-oriented programming / Java remote method invocation / Enterprise JavaBeans / Java / Annotation / Class / Application programming interface / Computing / Computing platforms / Java programming language

Role-Based Access Control (RBAC) in Java via Proxy Objects using Annotations Jeff Zarnett [removed] Mahesh Tripunitara

Add to Reading List

Source URL: 21w.ca

Language: English - Date: 2014-02-12 18:13:43
169CORBA / Cross-platform software / Inter-process communication / Component-based software engineering / Object-oriented programming / Common Object Request Broker Architecture / Programming language / Object request broker / Source lines of code / Computing / Software engineering / Computer programming

Submitted to ICFP’07 Evaluating High-Level Distributed Language Constructs Abstract The paper investigates the impact of high level distributed programming language constructs on the engineering of realistic software

Add to Reading List

Source URL: www.macs.hw.ac.uk

Language: English - Date: 2007-06-07 05:02:19
170Component-based software engineering / Object-oriented programming / Science / United Nations University / RCOS / Workflow / Liu Zhiming / Unified Modeling Language / Business process management / Workflow technology / Software engineering / Systems engineering

UNU-IIST International Institute for Software Technology Towards a Formal Integrated Model of Collaborative Healthcare Workflows

Add to Reading List

Source URL: www.iist.unu.edu

Language: English - Date: 2011-07-27 05:12:10
UPDATE